首页> 外文OA文献 >Automated verification of equivalence properties of cryptographic protocols

【2h】

Automated verification of equivalence properties of cryptographic protocols

机译：自动验证密码协议的等效属性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Chadha, Rohit; Cheval, Vincent; Ciobâcǎ, Ştefan,; Kremer, Steve;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Automated Verification of Equivalence Properties of Cryptographic Protocols [J] . Chadha Rohit, Cheval Vincent, Ciobaca Stefan, ACM transactions on computational logic . 2016,第4期

机译：自动验证密码协议的等效属性
2. Automated verification of selected equivalences for security protocols [J] . Bruno Blanchet, Martin Abadi, Cedric Fournet The Journal of logic and algebraic programming . 2008,第1期

机译：自动验证所选安全协议的等效项
3. A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols [J] . Delaune Stephanie, Hirschi Lucca Journal of Logic and Algebraic Programming . 2017,第FEBa期

机译：在密码协议中建立基于等价属性的符号方法研究
4. Automated Verification of Equivalence Properties of Cryptographic Protocols [C] . Rohit Chadha, Stefan Ciobaca, Steve Kremer Programming languages and systems. . 2012

机译：自动验证密码协议的等效属性
5. Algorithms for cryptographic protocol verification in presence of algebraic properties. [D] . Lin, Hai. 2009

机译：存在代数性质的密码协议验证算法。
6. Development and Verification of an Automated Sample Processing Protocol for Quantitation of Human Immunodeficiency Virus Type 1 RNA in Plasma [O] . Brenda G. Lee, Kristin R. Fiebelkorn, Angela M. Caliendo, 2003

机译：自动化和定量的人类免疫缺陷病毒1型RNA在血浆中的样品处理协议的开发和验证。
7. Automated verification of equivalence properties of cryptographic protocols [O] . Chadha, Rohit, Cheval, Vincent, Ciobâcǎ, Ştefan,, 2016

机译：自动验证密码协议的等效性
8. Formal Verification of Cryptographic Protocols: A Survey. [R] . Meadows, C. A. 1995

机译：密码协议的形式验证：一项调查。

Automated verification of equivalence properties of cryptographic protocols

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅